Visual Object Deenition Language
نویسنده
چکیده
This paper discusses a declarative constraint-based picture deenition language, Vodl, which serves as a graphical basis for visual language speciication and visual programming environments. Our goal is to examine the utility of a formal description of graphical tokens and visual languages for the purpose of increasing the understanding of and the development of general methods for graphical languages. Note: Supported in part by the Netherlands Organization for Scientiic Research (NWO) under the Generic Tools for Program Analysis and Optimization project.
منابع مشابه
Towards a formal type system for ODMG OQL
In this paper we consider in detail the type system of the object-oriented database query language, OQL, as deened by the ODMG 6]. Our main technical contribution is a formal deenition of the typing relation for OQL|surprisingly we could not nd a complete deenition in the literature. We have also uncovered a number of inaccuracies in the original ODMG proposal, and other work.
متن کاملA Set - Oriented Method De nition Language for
In this paper we propose a set-oriented rule-based method deenition language for object-oriented databases. Most existing object-oriented database systems exploit a general purpose imperative object-oriented programming language as method deenition language. Because methods are written in a general-purpose imperative language, it is diicult to analyze their properties and to optimize them. Opti...
متن کاملTowards a Visual Programming Environment Generator for Algebraic Specifications
In the visual languages community there has been a growing consensus that visual languages will be most successful in the case of special purpose languages. Furthermore, their success will largely depend on the programming environment which is provided for them. Programming environment generators, generate programming environments for formally speciied languages. This paper discusses speciicati...
متن کاملReasoning about Set - Oriented Methods in
Most existing object-oriented database systems exploit a general purpose imperative object-oriented programming language as method deenition language. The use of such languages makes it diicult to analyze method properties and to optimize them. We believe that the use of an ad-hoc, set-oriented language can ooer some advantages, at least at a speciication level. In particular, such a language c...
متن کاملComparisons between CORBA IDL & COM/DCOM MIDL: Interfaces for Distributed Computing
The adoption of distributed computing has brought with it the problem of interoperability. Today, program developers need to interoperate over large and complex heterogeneous networks. Dealing with the interoperability problems that these networks can provide leads to increasing the complexity of the overall system. This complexity can be signiicantly reduced through the introduction of an inte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995